1. Abduction and Induction
پدیدآورنده: edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
2. An Introduction to Default Logic
پدیدآورنده: by Philippe Besnard.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
Q335
.
B974
1989
3. Coherent systems
پدیدآورنده: / Karl Schlechta
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Nonmonotonic reasoning,Algebraic logic,Semantics- Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
4. Coherent systems
پدیدآورنده: / Karl Schlechta
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Nonmonotonic reasoning,Algebraic logic,Semantics, Mathematical models,Modality (Logic)
رده :
Q339
.
2
.
S35
2004
5. Conditionals nonmonotonic reasoning and belief revision : considering conditionals as agents
پدیدآورنده: Gabriele Kern-Isberner
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Nonmonotonic reasoning,، Conditionals )Logic(
رده :
QA
76
.
L28
Vol
.
2087
6. Defeasible Deontic Logic
پدیدآورنده: edited by Donald Nute.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Ethics.,Logic.,Philosophy (General)
7. Description logic, theory combination, and all that :
پدیدآورنده: Carsten Lutz [and 4 others], (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic.,Computer logic.
رده :
QA76
.
9
.
L63
D47
2019
8. Dynamics and management od reasoning processes
پدیدآورنده: edited by John-Jules Ch. Meyer, Jan Treur.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Logic.
رده :
Q335
.
E358
2011
9. Formal methods for nonmonotonic and related logics.
پدیدآورنده: Karl Schlechta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science),Nonmonotonic reasoning.,Formal methods (Computer science),Nonmonotonic reasoning.
رده :
QA76
.
9
.
F67
10. Formal methods for nonmonotonic and related logics.
پدیدآورنده: Karl Schlechta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Formal methods (Computer science),Nonmonotonic reasoning.,Formal methods (Computer science),Nonmonotonic reasoning.
رده :
QA76
.
9
.
F67
11. Frontiers in Belief Revision
پدیدآورنده: edited by Mary-Anne Williams, Hans Rott.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic.
12. Fundamentals of artificial intelligence research :
پدیدآورنده: Ph. Jorrand, J. Kelemen, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence -- Congresses.,Artificial intelligence.
رده :
Q334
.
P456
1991
13. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: / edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic programming,Artificial intelligence,Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
14. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H36
1993
15. Handbook of logic in artificial intelligence and logic programming
پدیدآورنده: edited by Dov M. Gabbay, and C.J. Hogger and J.A. Robinson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
H26
16. Inference on the Low Level
پدیدآورنده: by Hannes Leitgeb.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Genetic epistemology.,Logic.,Philosophy (General).
17. Intellectics and Computational Logic
پدیدآورنده: edited by Steffen Hölldobler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Logic.,Philosophy (General).
18. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
پدیدآورنده: / Marcello Balduccini, Tran Cao Son
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
19. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday
پدیدآورنده: / Jack Minker (auth.), Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
20. Logic Programming and Nonmonotonic Reasoning
پدیدآورنده: \ Francesco Calimeri , Giovambattista Ianni, Miroslaw Truszczynski (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic programming.,برنامه‌نویسی منطقی.,a05,a05,Logic programming -- Congresses.,Nonmonotonic reasoning -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها
رده :
QA
76
.
6
.
L6
2015
E-Book
,
